Embedded system design using Polychrony

Polychrony is an integrated development environment and technology demonstrator consisting of a compiler, of a visual editor and of a model checker. It provides a unified model-driven environment to perform embedded system design exploration by using top-down and bottom-up design methodologies formally supported by design model transformations from specification to implementation and from synchrony to asynchrony. Polychrony supports the synchronous, multi-clocked, dataflow specification language Signal [2] [3]. It allows to perform validation and verification tasks, with the integrated Sigali model checker [4][9].